منابع مشابه
Principal Typing in Elementary Affine Logic
Elementary Affine Logic (EAL) is a variant of the Linear Logic characterizing the computational power of the elementary bounded Turing machines. The EAL Type Inference problem is the problem of automatically assign to terms of λ-calculus EAL formulas as types. The problem is solved by showing that every λ-term which is typeable has a finite set of principal typing schemata, from which all and o...
متن کاملSun protection at elementary schools: a cluster randomized trial.
BACKGROUND Elementary schools represent both a source of childhood sun exposure and a setting for educational interventions. METHODS Sun Protection of Florida's Children was a cluster randomized trial promoting hat use at (primary outcome) and outside of schools among fourth-grade students during August 8, 2006, through May 22, 2007. Twenty-two schools were randomly assigned to the interventi...
متن کاملThe EUV Sun as the superposition of elementary Suns
Many studies assume that the solar irradiance in the EUV can be decomposed into different contributions, which makes the modelling of the spectral variability considerably easier. We consider a different approach, in which these contributions are not imposed a priori but are effectively and robustly inferred from spectral irradiance measurements. This is a source separation problem with a posit...
متن کاملSun protection policies and environmental features in US elementary schools.
OBJECTIVE To assess current sun protection policies and the receptiveness to new policies at elementary schools in the United States. DESIGN A cross-sectional telephone survey. SETTING General educational community. PATIENTS OR OTHER PARTICIPANTS In 1998, a random sample of 1000 public elementary schools in the United States was selected (proportional to population size) from 27 metropoli...
متن کاملSun Protection Policy in Elementary Schools in Hawaii
INTRODUCTION Childhood sun exposure is a major risk factor for skin cancer, the most common form of cancer in the United States. Schools in locations that receive high amounts of ultraviolet radiation have been identified as important sites for reducing excessive sun exposure. METHODS The objective of this study was to determine the prevalence of sun protection policies, environmental feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Physics Letters A
سال: 2002
ISSN: 0217-7323,1793-6632
DOI: 10.1142/s0217732302007338